repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
fill_db_function_ptr: fixup formatting changes fallout
2012-02-02
Dan
Carpenter
fill_db_function_pt
r
:
fixup formatti
n
g
change
s
fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
D
a
n C
a
rpenter
db_info: we d
o
n'
t
care about void
ret
u
rns for now
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpenter
db_info: rem
o
ve dup
l
icate
i
mplement
a
tion of show_ran
g
e
s(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
D
an Car
p
enter
show_unreacha
b
le
:
f
o
rmat changes fix
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpen
t
er
d
b
: re
m
o
v
e an unneede
d
#in
c
l
u
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carp
e
n
ter
tree wide
:
change
outp
u
t format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpenter
redund
a
n
t
_nul
l
_check: make some variables static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-26
Dan C
a
r
p
e
nter
e
xtra
:
u
n
initiali
z
ed variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-25
D
an
C
arpenter
conditions:
a
dd a __pass_
t
o_client(exp
r
,
LOGIC_HOOK)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-25
Dan
Carpenter
o
verflo
w
: don't complain about
che
c
k
s afte
r
use, insid
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-20
Dan Carp
e
nter
d
b:
don't increment
t
he func_id too much
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-20
Dan Ca
r
penter
d
b
: t
u
r
n
synchronization off and use a bigge
r
ca
c
he_size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-19
Dan Ca
r
penter
*new* logical_instead_of_bitwise:
p
laces that use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-12
D
a
n Carpen
t
e
r
s
m
a
tc
h
*: checkpatc
h
.
pl f
i
xes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-12
Dan Car
p
enter
err_ptr_deref: handle P
T
R_RET()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan
C
arpent
e
r
validation:
r
emove out of d
a
te
sm_loc
k
ing5
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan C
a
rpenter
c
o
r
e: hand
l
e foo += bar ?
1
:
0
; expressions dif
f
erently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
D
a
n
C
a
rpenter
e
x
tra: don't discard cas
t
.
strip_expr()
=> s
t
rip_pa
r
e
n
s(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
extra: clean
u
p
: shuffle co
d
e around
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Ca
r
penter
extra: don't
r
e
m
ove c
a
s
t
s, those ar
e
important
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
debug: fix some small memor
y
leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
D
a
n Carpenter
lo
c
k
i
ng: remove
s
ome
f
alse p
o
sitive-y function
s
without
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
lockin
g
: a
d
d some more lock name
v
a
ria
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpenter
db: caller
inf
o
needs to re
c
ord the -1 parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpente
r
math: fix
t
ypo in com
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-15
Dan Car
p
enter
*new*
bogu
s
_irqrestore:
don't
re
s
tore irq s
t
at
e
before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Da
n
Carpente
r
*n
e
w* check_wa
i
t_f
o
r_
c
o
m
mon:
make sure th
e
return is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan
Carpen
t
e
r
type: add exp
r
_u
n
signe
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Car
p
enter
db: pass &foo type paramet
e
r info
r
mation to c
a
lled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan
C
a
r
pe
n
t
e
r
math: do math
f
or ge
t
_implie
d
_mi
n
/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
helpe
r
:
when displa
y
ing s
i
zeof() information use bytes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n Carpenter
c
a
p
p
ed: tr
a
ck capped variables across funct
i
on bounda
r
ies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
debu
g
: a
d
d __s
m
atch_implied_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-01
Dan
C
a
r
p
e
nter
math: whi
t
e
s
pace
c
h
a
nge
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-25
Dan Carpenter
db: save
f
u
ncti
o
n
p
o
inters
s
aved in arrays
of stru
c
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
D
a
n
Carpenter
db/fu
n
c
t
ion
_
p
t
r:
cle
a
r t
h
e co
r
rect table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpent
e
r
db: remov
e
untrusted table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-21
D
a
n Carpent
e
r
extra: unops don
'
t no
r
mally
chang
e
the value of a va
r
i
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Car
p
e
nter
tiny w
h
ite space fi
x
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
uncapped_alloc: delete t
h
is check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan
C
a
r
p
e
nter
helper: remove bogu
s
p
a
rens from get_variable_from_expr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-16
Dan Carpenter
update
s
m
a
tc
h
_dat
a
for 3
.
2-
r
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-01
Dan Carp
e
nter
Allo
w
ch
e
ck_debug
.
h t
o
be included more t
h
an
on
c
e
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
core: ad
d
-
-
f
ile
-
ou
t
put variab
l
e for ma
k
e -j8
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
D
an Carpenter
sma
t
c
h_ext
r
a: clear
o
ut struct memb
e
rs if a th
e
po
i
n
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-28
Dan Carpent
e
r
e
xtra: fix crashing bug from la
s
t
commit
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
extra: express
i
ons
a
re equivalen
t
even if they are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpe
n
te
r
user_data
:
use
i
s_c
a
pped() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan
Carpen
t
er
u
ser_data: handle
b
in
o
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan
C
a
rpenter
*ne
w
* sm
a
tch_capped: in
t
ro
d
uce is_
c
apped() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-18
Dan Carpe
n
ter
*new* check_us
e
r_d
a
ta
:
record al
l
the user data (a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Ca
r
p
enter
buf_size: t
h
er
e
w
as a
m
istake in hand
l
ing c
a
lls to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpe
n
ter
b
u
f_si
z
e: r
e
cord the s
i
ze of struct m
e
mber
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Ca
r
penter
ext
r
a: cleanup: use
my_id instead of SMATCH_EXTRA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carp
e
nter
db: wron
g
parame
t
er number in str
u
ct member callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
e
x
t
r
a: do
n
't
p
rint an extra $$
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Ca
r
penter
db: limit
the number
of
f
unction point
e
r calls we
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan C
a
rpen
t
e
r
db, ex
t
ra: intro
d
uce add_member_info
_
c
allback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
D
a
n
C
arpente
r
extra
,
db: rec
o
r
d
a
dummy output for eve
r
y funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan
Carpenter
db:
use o
p
tion_n
o
_
db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Car
p
e
nter
extra, db:
m
ove s
o
m
e db functions fro
m
smatc
h
_extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
D
an Carpenter
buf_si
z
e: handle fun
c
tion pointe
r
s as
wel
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
db:
f
ollow calls to f
u
nctions poi
n
te
r
s as well as normal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpe
n
ter
flow: set positi
o
n for gl
o
bal vari
a
bles
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan C
a
rpent
e
r
s
i
gned: allow checks like: if (foo < 0 || f
o
o > x
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Ca
r
penter
o
v
e
r
flow: get rid of "buffer ove
r
flow calli
n
g %s
.
param
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Ca
r
pente
r
get
r
id of --print_ret
u
rns opti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpenter
ex
t
ra
,
db: we hav
e
to re
c
ord every function call
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpe
n
ter
r
a
nges: invalid r
a
ng
e
s de
f
ault
to the whole ra
n
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
signed: don't
w
arn
abou
t
u
n
signed
comparis
o
ns to macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
extra, db:
r
e
c
ord
t
h
e
struct
m
emb
e
r values
i
n th
e
dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
D
an
Ca
r
penter
extra: fix parsing of
values
from db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpe
n
ter
f
ill_db_u
n
t
r
uste
d
: fo
l
low untrusted
data down the ca
l
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
ex
t
ra: don't print if th
e
min
-
max as the value passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n
C
a
rp
e
nter
ranges: i
n
tro
d
uce i
s
_whol
e
_range_rl() and
f
ix
i
s_wh
o
le_range
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Car
p
enter
db: use t
h
e
f
unct
i
on
_
id correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
an Carpent
e
r
fil
l
_db_cal
l
e
r
_
i
n
fo:
calcul
a
t
e
function_id correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
an C
a
r
p
e
n
t
er
debug: add
a _
_
sma
t
ch_possible
(
"variable"
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arp
e
n
ter
uncappe
d
_al
l
oc: us
e
_complex
(
) vers
i
o
n
o
f
ge
t
_v
a
ria
b
l
e_
f
rom_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
enter
ext
r
a: db: put single quotes around th
e
f
unction name
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
*new* smatch_scr
i
pts/follow_params
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
hooks: re
m
ove some com
m
e
n
ted out code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
ter
sql: snpr
i
ntf()
nul terminates i
t
s strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpenter
db: m
o
ve bu
f
_siz
e
to the new add_definition_db_c
a
l
l
back()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
db
:
intro
d
uc
e
a
d
d_
d
efinition_db_
c
allback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpenter
d
b: store
the values
o
f
paramet
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
ar
p
enter
db: make data
b
ase c
o
d
e
usabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpenter
*new* min_t()
casti
n
g th
a
t truncates the va
l
ue
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-23
Dan C
a
r
p
enter
*
new
*
rosenberg: check for informat
i
on
l
eaks from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Da
n
Carpe
n
ter
flow: tweak the
-
>pos sett
i
n
g
for fake as
s
i
g
nme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
D
an
Carp
e
nter
flow: whitespa
c
e changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan
Carpen
t
er
f
l
ow: pass condition assign
m
ents to c
l
i
ents with ASSIG
N
MENT
_
HOO
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan
C
arpenter
no_effect: add some mor
e
t
est
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree