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
user_data2: math: function calls should be handled by the custom call back
2016-11-30
Dan C
a
rpenter
u
s
er_data2
:
m
ath: function calls should b
e
handled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpen
t
er
math
:
fix a
t
ype is
s
ue with MOD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-28
Dan Carpenter
untracked_param
:
fu
n
ctions
t
h
at
a
re too h
a
iry are untrackable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan
C
a
rpente
r
address: simplify is_no
n
_null_array()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpe
n
ter
type_val: use the correct type
i
n get_db_type_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpente
r
impli
e
d
: fix a bug wi
t
h b
o
rrowed impli
c
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan C
a
rpente
r
fl
o
w: handled declared labels better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carp
e
nter
ranges: read u64
m
ax
correc
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carpenter
s
match: remove tests to see if
a
n arra
y
i
s NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
extra: handle "if (
a
+
b < a) { "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n Carpenter
slist: Silenc
e
a smat
c
h
w
arning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpe
n
ter
debug: add the __s
m
atch_absolu
t
e()
hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
buf
_
size
:
Usi
n
g
plain
i
nt
e
ger as NU
L
L
p
o
i
nter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpent
e
r
db: Using plain integer as
N
ULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
a
s
t
-model: Usin
g
plain integer as NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nte
r
de
b
ug
:
add a _
_
smatch_absolute()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
e
n
t
e
r
user_data: short circuit a b
u
nch o
f
cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
dma_mapping_error: add pci_d
m
a_mappin
g
_
e
rror() to th
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
continue
_
vs_bre
a
k: add it checklist
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpenter
smatch_address: don't cras
h
on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
Carpent
e
r
*
n
ew
*
c
o
n
tinue_vs_bre
a
k: complain if conti
n
ue is u
s
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch
.
h: reserve some
d
b
t
y
pes for lat
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
p
enter
smatch
.
h
:
shuffle
s
ome
declarations aroun
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
s
m
a
tch
.
h: sile
n
ce a
compile warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
c
a
pped: set it to uncapped if it'
s
modified
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
C
a
rpenter
db/
f
ix
u
p_ke
r
n
el
.
sh: work
a
round f
o
r __to_fd()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpenter
db/fixup_kernel
.
sh:
w
o
rk around for
gfs2_ea_find()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Car
p
e
n
ter
db/ke
r
nel
.
return_fixe
s
:
specify some funct
i
o
ns
t
hat
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpe
n
ter
impli
e
d: add mo
r
e
i
nf
o
rmation to the
d
ebug out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpent
e
r
debug: print if you give a bad chec
k
n
a
me to __smatch_s
t
ates()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
t
e
r
sma
t
c
h
_
data/
w
ine: update wine data files
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
extr
a
: add more p
a
rameter d
e
references
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
m
a
th: don't crash on invalid c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
u
se
r
_da
t
a2: skb->da
t
a is not user
d
ata, skb->data[0] i
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an
C
arpent
e
r
type_v
a
l
ue: it doesn't make
sense to ta
l
k
abou
t
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rp
e
nter
extr
a
: improve how "if
(
foo
&
~0
x
F)"
i
s handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
math: ignore by
t
e swaps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
flow
:
handle
w
hile (42) {
.
.
.
} loops better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
comparison,funct
i
o
n
_hooks: remove impossible paths
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
param_compare_limit
:
like param_limit
but for compa
r
i
s
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan Ca
r
penter
c
o
mparison: add a FIXM
E
regarding a bug I notic
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan
C
arpenter
compa
r
ison: loa
d
/use re
t
urn comparisons in th
e
cros
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
co
m
pari
s
on: load struct member info into the caller_info
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
D
a
n Carpenter
c
o
mparison:
l
o
ad
th
e
correct comparison
i
n
f
o
rmation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Da
n
Carpenter
flow: don't cal
l
scope hooks until after the E
N
D_
F
UNC
_
HOOKs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
D
an
C
ar
p
en
t
er
modif
i
cat
i
on_ho
o
ks: going ou
t
o
f scope is
n
ot a modificat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan C
a
rpenter
db/fi
x
up_kernel
.
sh
:
upd
a
te get_u
s
er_pages() to
match
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan C
a
rpe
n
ter
fu
n
ction
_
hook
s
: pu
l
l
i
s_imp
o
s
s
ib
l
e_data() int
o
i
ts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
D
a
n Carp
e
nter
co
m
parison: cleanu
p
handle_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Da
n
Carpenter
compari
s
on: ex
p
ort some function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-09
Dan Carpenter
st
a
tes: nullify_path()
s
hould do free the
f
ake_c
u
r_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Da
n
Ca
r
penter
db: handle
c
o
mp
a
risons tha
t
we know are true bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan
C
arpenter
db: mark som
e
true false paths i
m
possib
l
e bas
e
d on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan Car
p
e
n
ter
range
s
, db:
i
f
we
can't
fil
t
er
b
y comparison then u
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan Car
p
e
nter
db:
h
andle nested ca
l
ls bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-04
Dan Carpenter
ex
t
ra: re-write handle_AND_con
d
ition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
an
Carpenter
i
mplied: ha
n
dle imposs
i
b
l
e paths from c
o
mplicated s
w
itch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
implie
d
:
g
et rid of
t
he ->implied member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Da
n
C
arpenter
implie
d
: get rid of a t
e
mp
o
rary
variabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan
C
arpent
e
r
s
m
atch_
d
ata/wine
.
n
o
_
r
eturn_fun
c
s: add more
func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Da
n
Ca
r
penter
sma
t
c
h_scripts/gen_
n
o_return_funcs: fix thi
s
for other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpe
n
ter
pre-process: make -nostdinc
w
ork a
g
ain
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Ca
r
penter
check_win
e
: make repor
t
(R_FATA
L
,
.
.
.
) a nullify the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
validation/sm
_
WtoA:
a
d
d
single quotes in out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
enter
s
match_scrip
t
s: update the gen_*
scri
p
ts
t
o take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
parse: ignore _Pragma()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Da
n
Carpenter
s
m
a
tc
h
_data/wi
n
e
.
ignored_macros: add ok()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n
Car
p
enter
smatch
_
d
a
t
a
/wine
.
no_return_func
s
: update
the list
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
an Carpenter
s
p
ars
e
: add /usr/i
n
clude/x86_64-l
i
nux-gnu/ in
c
lude
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Ca
r
penter
w
i
ne_WtoA: add
s
in
g
le
d
quotes in the out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-25
Dan
Ca
r
penter
db:
re
m
ove
PRAGMA s
y
n
chronou
s
= OFF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
avl: mak
e
get_st
r
ee_id()
ret
u
rn -1
if the stree pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpen
t
er
implied:
h
and
l
e ->implied
states d
i
fferen
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpe
n
ter
slist, i
m
p
l
ied:
p
reserv
e
t
h
e entire c
u
r_
s
tree
i
n the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
an Carpent
e
r
implied
:
fix
a
bug where we imply t
h
e wrong
t
hing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Da
n
Carpenter
i
m
plied
:
rem
o
ve an indent level
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Ca
r
penter
implied: change debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-17
Dan Carpenter
extra:
ignore
t
runcated l
i
mits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carp
e
nt
e
r
flow:
h
a
ndle asm gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Car
p
enter
db: split on
boolean parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpen
t
e
r
struct_assignment:
h
an
d
l
e
p
o
inters
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
a
rpenter
fun
c
tion_hooks: hack around in
v
alid input f
r
om th
e
DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
function_
h
o
o
ks: fi
x
the previou
s
r
a
nge
h
ooks
f
ix
a
g
ai
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Car
p
ente
r
flo
w
: set ->parent for e
x
press
i
on
sta
t
em
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
hel
p
er, untracked_pa
r
am: m
o
v
e the int_stack to
s
m
atch_helpe
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan
Carpente
r
ranges: fix c
a
sti
n
g
t
o
bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
flow: set position at the start of the functio
n
co
r
r
e
ct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
a
rpente
r
function
_
hooks:
fix a typo in debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan C
a
rpenter
implied:
t
weak
t
i
me
o
ut i
n
separate_an
d
_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
arpenter
functio
n
_hoo
k
s: fix a type issue (affe
c
ts ranged function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
Carpenter
fu
n
ction_hooks: fix
d
b and
r
anged_functions i
n
tegration
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Ca
r
pe
n
ter
db/ker
n
el
.
return_
f
i
x
es:
h
ack
around down_inte
r
r
uptible()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
D
an
C
arp
e
nter
d
b
/kern
e
l
.
return
_
fixes:
a
d
d s
c
n
p
rintf(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
function_h
o
o
k
s
: f
i
x locking false
positives when you
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan
C
arpent
e
r
extra: fix memset() handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan
Carpe
n
ter
impli
e
d: delete unused function sm_state_in_sl
i
st()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan
C
a
rpe
n
ter
ptrlist:
use after f
r
ee in last_ptr_list(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan
Carpent
e
r
flow: type issue handli
n
g switch st
a
tem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpent
e
r
ranges: fix type is
s
u
e
in remo
v
e_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
Carp
e
nte
r
conditions: sil
e
nce v
a
lgrind
w
ar
n
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next